61. Logic: A Computer approach
پدیدآورنده : Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Logic- Data processing,Algorithms,Electronic digital computers- Programming
رده :
BC
،
138
،.
S32
،
1985
62. Mathematics for the analysis of algorithms
پدیدآورنده : Daniel H. Greene, Donald E. Knuth,Title
موضوع : Electronic digital computers - Programming,Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
63. Mathematics for the analysis of algorithms
پدیدآورنده : Greene, Daniel H.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Algorithms
رده :
QA
76
.
6
.
G7423
1982
64. P-functions and Boolean matrix factorization: a unified approach for wired, programmed, and microporogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
6
.
T4452
1984
65. P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
L4
v
.
175
66. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
67. Pascal Plus data structures, algorithms, and advanced programming
پدیدآورنده : Dale, Nell B.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Pascal )Computer program language(,، Data structures )Computer science(,، Electronic digital computers - Programming
رده :
QA
76
.
73
.
P2
D35
1991
68. Pascal plus data structures, algorithms, and advanced programming
پدیدآورنده : Dale, Nell B
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Pascal )Computer program language(,، Data structures )Computer science(,، Computer algorithms,، Electronic digital computers -- Programming
رده :
QA
76
.
73
.
P2
D35
1988
69. Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation
پدیدآورنده : Hofri, Micha.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Computer algorithms,، Probabilities
رده :
QA
76
.
6
.
H59
1987
70. Problem solving using Pascal: algorithm development and programming concepts
پدیدآورنده : Skvarcius, Romualdas
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Pascal )Computer program language(,Programming ، Electronic digital computers,، Problem solving,، Algorithms
رده :
QA
76
.
73
.
P2
S58
1984
71. Programming: The derivation of algorithms
پدیدآورنده : Kaldewaij, Anne
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Algorithms
رده :
QA
76
.
6
.
K3417
1990
72. Programming classics : implementing the world's best algorithms
پدیدآورنده : Oliver, Ian
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers--Programming,، Computer algorithms
رده :
QA
76
.
6
.
O42
1993
73. Programming:the derivation of algorithms
پدیدآورنده : KALDEWAIJ,ANNE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER ALGORITHMS
رده :
QA
76
.
6
.
K3417
1990
74. Rewriting techniques and applications; Bordeaux, France, May 25-27, 1987, proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Algorithms
رده :
QA
76
.
L4
v
.
256
75. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
رده :
QA
76
.
L4
v
.
202
76. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1989
77. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
پدیدآورنده : Ronald V. Book, ed
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Electronic digital computers -- Programming,Congresses ، Algorithms
رده :
QA
267
.
I555
1991
78. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1991
79. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1993
80. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
پدیدآورنده : sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2010
